<html>
<head><meta charset="utf-8"><title>floundering · wg-traits · Zulip Chat Archive</title></head>
<h2>Stream: <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/index.html">wg-traits</a></h2>
<h3>Topic: <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/floundering.html">floundering</a></h3>

<hr>

<base href="https://rust-lang.zulipchat.com">

<head><link href="https://rust-lang.github.io/zulip_archive/style.css" rel="stylesheet"></head>

<a name="167246620"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/floundering/near/167246620" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/floundering.html#167246620">(Jun 04 2019 at 00:58)</a>:</h4>
<p>I opened a PR with the floundering work: <a href="https://github.com/rust-lang/chalk/pull/229" target="_blank" title="https://github.com/rust-lang/chalk/pull/229">https://github.com/rust-lang/chalk/pull/229</a></p>
<p>r? <span class="user-mention" data-user-id="131694">@scalexm</span></p>



<a name="167717403"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/floundering/near/167717403" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> scalexm <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/floundering.html#167717403">(Jun 09 2019 at 21:17)</a>:</h4>
<p><span class="user-mention" data-user-id="116009">@nikomatsakis</span> reviewed</p>



<a name="170430904"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/floundering/near/170430904" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> matklad <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/floundering.html#170430904">(Jul 09 2019 at 07:44)</a>:</h4>
<p><span class="user-mention" data-user-id="129457">@Florian Diebold</span> did you check if floundering helps with rust-analyzer perf issues?</p>



<a name="170435991"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/floundering/near/170435991" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Florian Diebold <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/floundering.html#170435991">(Jul 09 2019 at 09:04)</a>:</h4>
<p>No I didn't yet, but I should... As I understand it we'll have to somehow mark traits as non-enumerable though</p>



<a name="170841148"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/floundering/near/170841148" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Florian Diebold <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/floundering.html#170841148">(Jul 14 2019 at 17:17)</a>:</h4>
<p>Well, it seems like it might. Here are numbers for analyzing the Chalk repo:<br>
Everything enumerable, using fuel: 20.685380613s<br>
Everything enumerable, without fuel: 20.752197389s<br>
Everything enumerable, removing our hardcoded blacklist of 'bad' traits (<code>Send</code>, <code>Sync</code>, <code>Sized</code>, the <code>Fn</code> traits): seems to hang indefinitely<br>
Marking those traits as non-enumerable instead: 21.311616989s</p>



<a name="170841800"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/floundering/near/170841800" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Florian Diebold <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/floundering.html#170841800">(Jul 14 2019 at 17:37)</a>:</h4>
<p>(Actually only <code>Sized</code> needs to be marked as non-enumerable, since auto traits are non-enumerable anyway and it doesn't seem to be necessary for the Fn traits)</p>



<a name="174496772"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/floundering/near/174496772" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/floundering.html#174496772">(Aug 29 2019 at 22:06)</a>:</h4>
<p>btw <span class="user-mention" data-user-id="129457">@Florian Diebold</span> I'm planning on spending tomorrow/Monday catching up on the work you've been doing in rust-analyzer, along with some other trait stuff, maybe we can chat some on Monday?</p>



<a name="174520043"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/floundering/near/174520043" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Florian Diebold <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/floundering.html#174520043">(Aug 30 2019 at 06:48)</a>:</h4>
<p>Sure, on Monday I'll be busy between 19:00-21:30 CET, but apart from that any time</p>



<hr><p>Last updated: Aug 07 2021 at 22:04 UTC</p>
</html>